Stochastic Process
نویسندگان
چکیده
We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional behaviour and performabil-ity (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into the powerful and well investigated formal description techniques of process algebras. After advocating the use of Stochastic Process Algebras as a modelling technique we recapitulate the foundations of classical process algebras and { using our Stochastic Process Algebra TIPP { present extensions taking into account the requirements of performability analysis. We brieey survey the state-of-the-art by summarizing various applications, existing tool support and recent advances.
منابع مشابه
New Solutions for Fokker-Plank Equation of Special Stochastic Process via Lie Point Symmetries
In this paper Lie symmetry analysis is applied in order to find new solutions for Fokker Plank equation of Ornstein-Uhlenbeck process. This analysis classifies the solutions format of the Fokker Plank equation by using the Lie algebra of the symmetries of our considered stochastic process.
متن کاملWavelet Based Estimation of the Derivatives of a Density for a Discrete-Time Stochastic Process: Lp-Losses
We propose a method of estimation of the derivatives of probability density based on wavelets methods for a sequence of random variables with a common one-dimensional probability density function and obtain an upper bound on Lp-losses for such estimators. We suppose that the process is strongly mixing and we show that the rate of convergence essentially depends on the behavior of a special quad...
متن کاملModelling and Decision-making on Deteriorating Production Systems using Stochastic Dynamic Programming Approach
This study aimed at presenting a method for formulating optimal production, repair and replacement policies. The system was based on the production rate of defective parts and machine repairs and then was set up to optimize maintenance activities and related costs. The machine is either repaired or replaced. The machine is changed completely in the replacement process, but the productio...
متن کاملStochastic averaging for SDEs with Hopf Drift and polynomial diffusion coefficients
It is known that a stochastic differential equation (SDE) induces two probabilistic objects, namely a difusion process and a stochastic flow. While the diffusion process is determined by the innitesimal mean and variance given by the coefficients of the SDE, this is not the case for the stochastic flow induced by the SDE. In order to characterize the stochastic flow uniquely the innitesimal cov...
متن کاملProposing A stochastic model for spread of corona virus dynamics in Nigeria
The emergence of corona virus (COVID-19) has create a great public concern as the outbreak is still ongoing and government are taking actions such as holiday extension, travel restriction, temporary closure of public work place, borders, schools, quarantine/isolation, social distancing and so on. To mitigate the spread, we proposed and analyzed a stochastic model for the continue spread of coro...
متن کاملDecision making in forest management with consideration of stochastic prices
The optimal harvesting policy is calculated as a function of the entering stock, the price state, the harvesting cost, and the rate of interest in the capital market. In order to determine the optimal harvest schedule, the growth function and stumpage price process are estimated for the Swedish mixed species forests. The stumpage price is assumed to follow a stochastic Markov process. A stoch...
متن کامل